Quasi-merging and Pure-arbitration on Information for the Family of Adaptive Logics ADM∗
نویسندگان
چکیده
The present paper introduces two new information merging protocols for the family of adaptive logics ADM, for which majority merging has been defined in previous work. The new adaptive operators reflect the negotiation processes of quasi-merging and pure-arbitration known from the Integrity Constraints framework. The Adaptive Variant Counting selection provides results equivalent to the GMax family of merging operators: it selects a collective model for a multi-set of belief bases established on the number of disagreements verified by the various models. The Adaptive Minimax Counting selection is a quasi-merging operator which applies a minimax function and it obtains a larger spectrum of possibilities than the previous selection: it simulates the behaviour of the Max family of operators from the Integrity Constraints framework, but it avoids some of its counterintuitive results.
منابع مشابه
ADM Quasi-merging and Pure-arbitration∗
The present paper introduces two new information merging protocols for the family of adaptive logics ADM, for which majority merging has been defined in [19]. The new adaptive operators reflect the negotiation processes of quasi-merging and pure arbitration, known from the Integrity Constraints framework introduced in [13]. The Adaptive Variant Counting selection provides a result equivalent to...
متن کاملEpistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitration, and general merging. Some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented. While most existing approaches treat in...
متن کاملBelief Fusion and Revision: An Overview Based on Epistemic Logic Semantics
In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics. Fusion operators considered in this paper are majority merging, arbitration, and general merging. Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented. While most existing a...
متن کاملOn the Logic of Merging
This work proposes an axiomatic characterization of merging operators. It underlines the diierences between arbitration operators and majority operators. A representation theorem is stated showing that each merging operator corresponds to a family of partial pre-orders on interpretations. Examples of operators are given. They show the consistency of the axiomatic characterization. A new merging...
متن کاملComposition of resolvents and quasi-nonexpansive multivalued mappings in Hadamared spaces
The proximal point algorithm, which is a well-known tool for finding minima of convex functions, is generalized from the classical Hilbert space framework into a nonlinear setting, namely, geodesic metric spaces of nonpositive curvature. In this paper we propose an iterative algorithm for finding the common element of the minimizers of a finite family of convex functions a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008